Natural Language to Structured Query Generation via Meta-Learning Po-Sen Huang? , Chenglong Wang† , Rishabh Singh? , Wen-tau Yih‡ , Xiaodong He∗ ? Microsoft Research, † University of Washington, ‡ Allen Instit

Source URL: rishabhmit.bitbucket.io

• Machine learning
• Computing
• Data management
• Artificial intelligence
• Computational neuroscience
• Artificial neural networks
• Computational linguistics
• Meta learning
• Supervised learning
• Support vector machine
• Deep learning
• SQL syntax

Refinement Types for Secure Implementations JESPER BENGTSON, Uppsala University KARTHIKEYAN BHARGAVAN, Microsoft Research ´ CEDRIC FOURNET, Microsoft Research

Source URL: www.doc.ic.ac.uk

• Software engineering
• Computing
• Programming language theory
• Type theory
• Formal methods
• Functional languages
• Procedural programming languages
• Data types
• Type system
• F Sharp
• HindleyMilner type system
• First-order logic

Learning Shape Analysis Marc Brockschmidt1 , Yuxin Chen2 , Pushmeet Kohli3 , Siddharth Krishna4 , and Daniel Tarlow5 1 Microsoft Research, 2 ETH Z¨

Source URL: www.microsoft.com

• Formal languages
• Tree
• Heap
• Binary tree
• Context-free grammar
• Computing
• Software engineering
• Mathematics
• Regular tree grammar

AP: Artificial Programming Rishabh Singh1 and Pushmeet Kohli1 1 Cognition Group, Microsoft Research ,

Source URL: rishabhmit.bitbucket.io

• Artificial neural networks
• Computational neuroscience
• Applied mathematics
• Computing
• Artificial intelligence
• Cognitive science
• Computational statistics
• Market research
• Convolutional neural network
• Deep learning
• Recurrent neural network
• Domain-specific language

Accounting for Variability in Large-Scale Cluster Power Models John D. Davis1, Suzanne Rivoire2, Moises Goldszmidt1, and Ehsan K. Ardestani3 Microsoft Research - Silicon Valley Lab1 [john.d, moises]@microsoft.com Sonoma

Source URL: rivoire.cs.sonoma.edu

• Concurrent computing
• Computer architecture
• Parallel computing
• Computing
• Cluster computing
• Fault-tolerant computer systems
• Computer cluster
• Data-intensive computing
• High-availability cluster
• MySQL Cluster

Model Based Theory Combination SMT 2007 Leonardo de Moura and Nikolaj Bjørner {leonardo, nbjorner}@microsoft.com. Microsoft Research

Source URL: www.lsi.upc.edu

• Logic
• Mathematical logic
• Theoretical computer science
• Model theory
• Logic in computer science
• Logical truth
• Philosophy of logic
• Satisfiability
• Convex function
• Universal quantification
• Boolean satisfiability problem

Program Synthesis using Abstraction Refinement XINYU WANG, University of Texas at Austin, USA ISIL DILLIG, University of Texas at Austin, USA RISHABH SINGH, Microsoft Research, USA We present a new approach to example-gu

Source URL: rishabhmit.bitbucket.io

• Theoretical computer science
• Metaphysics
• Mathematical logic
• Temporal logic
• Computability theory
• Model theory
• Formal languages
• Finite-state machine
• Computation tree logic
• Abstraction
• Abstract interpretation
• IP

Deep Residual Learning for Image Recognition Kaiming He Xiangyu Zhang Shaoqing Ren Microsoft Research

Source URL: arxiv.org

• Artificial neural networks
• Computational neuroscience
• Artificial intelligence
• Computational statistics
• Applied mathematics
• Cybernetics
• Computer vision
• Convolutional neural network
• Residual neural network
• CIFAR-10
• ResNet
• Deep learning

Microsoft Word - Tackvic Research Paper.doc

Source URL: eduaction.pages.tcnj.edu

Microsoft Word - HEiKA-News_2017_rk

Source URL: www.heika-research.de